// type of Simple lattice
pub(all) enum Type {
  TTOP;
  TBOT;
  TINT;
} derive(Eq, Show)